../toolset_release/toolset/Binaries/Release/linux-x64/modest mcsta resource-gathering.jani -E B=1300,GOLD_TO_COLLECT=100,GEM_TO_COLLECT=100 --props expsteps -O out.txt Minimal --unsafe --es -S Memory --no-partial-results
resource-gathering.jani:model: info: resource-gathering is an MDP model.
resource-gathering.jani: info: Need 16 bytes per state.
resource-gathering.jani: info: Explored 958801 states for B=1300, GOLD_TO_COLLECT=100, GEM_TO_COLLECT=100.
resource-gathering.jani:properties[1]: warning: Computing minimum expected reward in property "expsteps" without checking for zero-reward end components.
Peak memory usage: 501 MB
Analysis results for resource-gathering.jani
Experiment B=1300, GOLD_TO_COLLECT=100, GEM_TO_COLLECT=100
+ State space exploration
State size: 16 bytes
States: 958801
Transitions: 3080401
Branches: 3325201
Rate: 555183 states/s
Time: 1.8 s
+ Property expsteps
Value: 1292.5925839775853
Bounds: [1292.5925839775853, infinity)
Time: 93.9 s
+ Precomputations
Max. prob. 1 states: 958801
Time for max. prob. 1 states: 67.5 s
+ Essential states
Iterations: 1
Essential states: 958801
Transitions: 3080401
Branches: 3325201
Time: 0.1 s
+ Value iteration
Final error: 5.719021013173776E-07
Iterations: 657
Time: 26.4 s
Exported results to file "/home/michaela/qcomp2020/out.txt".